Dionis, Pierre, chirurgien de la cour, directeur des Écoles d’anatomie du Jardin royal nommé en 1672